Approche psycho-éducative de la déviance scolaire

Audit sur la qualité de la vaccination en milieu scolaire dans la région de Monastir (Tunisie).

We conducted a clinical audit by observing 55 vaccinators in schools in the governorate of Monastir in 2014. We used a set of criteria by referring to the national immunization programme. The cold chain was respected in most cases. Accumulators, the collector of syringes and needles, cotton balls soaked in alcohol and emergency box were available in 85.5%, 76.4%, 98.2% and 41.8% of cases respec...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

Une approche formelle de la reconfiguration dynamique

RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...

Une approche générique de la réécriture

In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...

Approche préventive de la qualité des données d'importation dans le contexte de la protéomique clinique